搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书(共9357本)

	Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 鈥ಸ, 2004, Revised Selected Papers 0 索取号：作者：Etalle、 Sandro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Advanced Distributed Systems [electronic resource] : 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers 0 索取号：作者：Ramos、 F茅lix F.、Larios Rosillo、 Victor.、Unger、 Herwig.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Distributed Computing in Sensor Systems [electronic resource] : First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30 鈥ʵly 1, 2005. Proceedings 0 索取号：作者：Prasanna、 Viktor K.、Iyengar、 Sitharama S.、Spirakis、 Paul G.、Welsh、 Matt.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Fast Software Encryption [electronic resource] : 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers 0 索取号：作者：Gilbert、 Henri.、Handschuh、 Helena.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Graph Drawing [electronic resource] : 13th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005. Revised Papers 0 索取号：作者：Healy、 Patrick.、Nikolov、 Nikola S.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Reliable Software Technology-Ada-Europe 2005 [electronic resource] : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings 0 索取号：作者：Vardanega、 Tullio.、Wellings、 Andy.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings 0 索取号：作者：H盲m盲l盲inen、 Timo D.、Pimentel、 Andy D.、Takala、 Jarmo.、Vassiliadis、 Stamatis.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Biological and Medical Data Analysis [electronic resource] : 6th International Symposium, ISBMDA 2005, Aveiro, Portugal, November 10-11, 2005. Proceedings 0 索取号：作者：Oliveira、 Jos茅 Lu铆s.、Maojo、 V铆ctor.、Mart铆n-S谩nchez、 Fernando.、Pereira、 Ant贸nio Sousa.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Agents and Peer-to-Peer Computing [electronic resource] : Third International Workshop, AP2PC 2004, New York, NY, USA, July 19, 2004, Revised and Invited Papers 0 索取号：作者：Moro、 Gianluca.、Bergamaschi、 Sonia.、Aberer、 Karl.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Product Focused Software Process Improvement [electronic resource] : 6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005. Proceedings 0 索取号：作者：Bomarius、 Frank.、Komi-Sirvi枚、 Seija.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	New Algorithms for Macromolecular Simulation [electronic resource] 0 索取号：作者：Leimkuhler、 Benedict.、Chipot、 Christophe.、Elber、 Ron.、Laaksonen、 Aatto.、Mark、 Alan.、Schlick、 Tamar.、Sch眉tte、 Christoph.、Skeel、 Robert.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Component-Based Software Development for Embedded Systems [electronic resource] : An Overview of Current Research Trends 0 索取号：作者：Atkinson、 Colin.、Bunse、 Christian.、Gross、 Hans-Gerhard.、Peper、 Christian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Advanced Computer Simulation Approaches for Soft Matter Sciences II [electronic resource] 0 索取号：作者：Holm、 Christian.、Kremer、 Kurt.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		New Directions and Applications in Control Theory [electronic resource] 0 索取号：作者：Dayawansa、 Wijesuriya.、Lindquist、 Anders.、Zhou、 Yishao.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Combinatorial Pattern Matching [electronic resource] : 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005. Proceedings 0 索取号：作者：Apostolico、 Alberto.、Crochemore、 Maxime.、Park、 Kunsoo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Advanced Computer Simulation [electronic resource] : Approaches for Soft Matter Sciences I 0 索取号：作者：Holm、 Christian.、Kremer、 Kurt.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

	Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 鈥ಸ, 2004, Revised Selected Papers 0 索取号：作者：Etalle、 Sandro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Advanced Distributed Systems [electronic resource] : 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers 0 索取号：作者：Ramos、 F茅lix F.、Larios Rosillo、 Victor.、Unger、 Herwig.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Distributed Computing in Sensor Systems [electronic resource] : First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30 鈥ʵly 1, 2005. Proceedings 0 索取号：作者：Prasanna、 Viktor K.、Iyengar、 Sitharama S.、Spirakis、 Paul G.、Welsh、 Matt.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Fast Software Encryption [electronic resource] : 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers 0 索取号：作者：Gilbert、 Henri.、Handschuh、 Helena.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Graph Drawing [electronic resource] : 13th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005. Revised Papers 0 索取号：作者：Healy、 Patrick.、Nikolov、 Nikola S.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Reliable Software Technology-Ada-Europe 2005 [electronic resource] : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings 0 索取号：作者：Vardanega、 Tullio.、Wellings、 Andy.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings 0 索取号：作者：H盲m盲l盲inen、 Timo D.、Pimentel、 Andy D.、Takala、 Jarmo.、Vassiliadis、 Stamatis.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Biological and Medical Data Analysis [electronic resource] : 6th International Symposium, ISBMDA 2005, Aveiro, Portugal, November 10-11, 2005. Proceedings 0 索取号：作者：Oliveira、 Jos茅 Lu铆s.、Maojo、 V铆ctor.、Mart铆n-S谩nchez、 Fernando.、Pereira、 Ant贸nio Sousa.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Agents and Peer-to-Peer Computing [electronic resource] : Third International Workshop, AP2PC 2004, New York, NY, USA, July 19, 2004, Revised and Invited Papers 0 索取号：作者：Moro、 Gianluca.、Bergamaschi、 Sonia.、Aberer、 Karl.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Product Focused Software Process Improvement [electronic resource] : 6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005. Proceedings 0 索取号：作者：Bomarius、 Frank.、Komi-Sirvi枚、 Seija.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	New Algorithms for Macromolecular Simulation [electronic resource] 0 索取号：作者：Leimkuhler、 Benedict.、Chipot、 Christophe.、Elber、 Ron.、Laaksonen、 Aatto.、Mark、 Alan.、Schlick、 Tamar.、Sch眉tte、 Christoph.、Skeel、 Robert.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Component-Based Software Development for Embedded Systems [electronic resource] : An Overview of Current Research Trends 0 索取号：作者：Atkinson、 Colin.、Bunse、 Christian.、Gross、 Hans-Gerhard.、Peper、 Christian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Advanced Computer Simulation Approaches for Soft Matter Sciences II [electronic resource] 0 索取号：作者：Holm、 Christian.、Kremer、 Kurt.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		New Directions and Applications in Control Theory [electronic resource] 0 索取号：作者：Dayawansa、 Wijesuriya.、Lindquist、 Anders.、Zhou、 Yishao.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Combinatorial Pattern Matching [electronic resource] : 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005. Proceedings 0 索取号：作者：Apostolico、 Alberto.、Crochemore、 Maxime.、Park、 Kunsoo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Advanced Computer Simulation [electronic resource] : Approaches for Soft Matter Sciences I 0 索取号：作者：Holm、 Christian.、Kremer、 Kurt.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.